transition:    
t1-a-t2;
t2-b-t2;
t2-c-t3;
t3-a-t4;
t4-b-t1;
initial:
t1;
final: 
t1.